1

A statistical model of roundoff error for varying length floating-point arithmetic

Year:
1970
Language:
english
File:
PDF, 598 KB
english, 1970
2

On some topological properties of numerical algorithms

Year:
1972
Language:
english
File:
PDF, 1.65 MB
english, 1972
3

Computer networking of Nordic universities

Year:
1985
Language:
english
File:
PDF, 362 KB
english, 1985
4

Essential transitions to bisimulation equivalences

Year:
1997
Language:
english
File:
PDF, 1.57 MB
english, 1997
5

Compositional failure-based semantic models for Basic LOTOS

Year:
1995
Language:
english
File:
PDF, 1.84 MB
english, 1995
6

Distributed Applications and Interoperable Systems II || An Overview of CORBA 3

Year:
1999
Language:
english
File:
PDF, 1.60 MB
english, 1999